HArMoNICS: High-Assurance Microgrid Network Infrastructure Case Study

Modern Intelligent Infrastructures (II) are highly complex, interconnected systems that now emerging. For instance, II can integrate technologies and processes to provide citizens with faster services better goods. An average include many technologies, e.g., Cloud applications IoT devices, under different environments, industry 4.0 production plants smart buildings. Although bring concrete benefits all of these contexts, they also carry security concerns. Reasoning about threats exposures might affect is non trivial. This only partially due their inherent complexity. As a matter fact, real typically in charge some critical operations cannot be interrupted or compromised for experimental purposes. alternative solution rely on digital replicas which good trade off between realism usability. These assets represent strategic demanded resource the community. In this paper we present HArMoNICS, case study infrastructure meant playground experts interested security. HArMoNICS revolves around replica Smart Polygeneration Microgrid (SPM) located Italy. most components based inspired system, has been enriched further security-relevant features. result, includes vertical uses cases focusing specific topics. Security researchers use it assess effectiveness new methodologies, out training activities, even extend elements.